it does not amount to a logical proof of the statement . 它還不是這個論題的邏輯證明。
finally, we carried out the theoretically logical proof of the security of the revised protocol, using the formal logic analysis method 最后,作者運(yùn)用形式邏輯分析的方法對修改后協(xié)議的安全性進(jìn)行了理論上的邏輯證明。